Language/OS - Multiplatform Resource Library/LANGUAGE OS.iso/prolog/sbprolog/v3/latex_do.lha/latex_doc/sbprolog_doc.tex/labels.pl

Text File | 1990-07-06 | 6KB | 246 lines

# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.


$key = q/adding_builtins/;
$external_labels{$key} = "$URL/" . q|node72_ct.html|;
$noresave{$key} = "$nosave";

$key = q/arithmetic/;
$external_labels{$key} = "$URL/" . q|node29_ct.html|;
$noresave{$key} = "$nosave";

$key = q/buffers/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";

$key = q/builtins/;
$external_labels{$key} = "$URL/" . q|node66_ct.html|;
$noresave{$key} = "$nosave";

$key = q/clause/;
$external_labels{$key} = "$URL/" . q|node17_ct.html|;
$noresave{$key} = "$nosave";

$key = q/coding_for_efficiency/;
$external_labels{$key} = "$URL/" . q|node67_ct.html|;
$noresave{$key} = "$nosave";

$key = q/comparison_of_terms/;
$external_labels{$key} = "$URL/" . q|node34_ct.html|;
$noresave{$key} = "$nosave";

$key = q/compiler_options/;
$external_labels{$key} = "$URL/" . q|node51_ct.html|;
$noresave{$key} = "$nosave";

$key = q/complementary_tests/;
$external_labels{$key} = "$URL/" . q|node68_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cuts_and_if-then-else/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/debugging/;
$external_labels{$key} = "$URL/" . q|node42_ct.html|;
$noresave{$key} = "$nosave";

$key = q/impure_code/;
$external_labels{$key} = "$URL/" . q|node60_ct.html|;
$noresave{$key} = "$nosave";

$key = q/indexing_directives/;
$external_labels{$key} = "$URL/" . q|node55_ct.html|;
$noresave{$key} = "$nosave";

$key = q/inlinepredicatetable/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/internal_database/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";

$key = q/list/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|;
$noresave{$key} = "$nosave";

$key = q/macros/;
$external_labels{$key} = "$URL/" . q|node57_ct.html|;
$noresave{$key} = "$nosave";

$key = q/operator_priorities/;
$external_labels{$key} = "$URL/" . q|node16_ct.html|;
$noresave{$key} = "$nosave";

$key = q/operators/;
$external_labels{$key} = "$URL/" . q|node16_ct.html|;
$noresave{$key} = "$nosave";

$key = q/query/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|;
$noresave{$key} = "$nosave";

$key = q/rule/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/search_path/;
$external_labels{$key} = "$URL/" . q|node6_ct.html|;
$noresave{$key} = "$nosave";

$key = q/simulator_options/;
$external_labels{$key} = "$URL/" . q|node47_ct.html|;
$noresave{$key} = "$nosave";

$key = q/statistics/;
$external_labels{$key} = "$URL/" . q|node39_ct.html|;
$noresave{$key} = "$nosave";

$key = q/structures/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|;
$noresave{$key} = "$nosave";

$key = q/system_directories/;
$external_labels{$key} = "$URL/" . q|node7_ct.html|;
$noresave{$key} = "$nosave";

$key = q/terms/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|;
$noresave{$key} = "$nosave";

$key = q/the_compiler/;
$external_labels{$key} = "$URL/" . q|node49_ct.html|;
$noresave{$key} = "$nosave";

$key = q/unixsystemcalls/;
$external_labels{$key} = "$URL/" . q|node39_ct.html|;
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.


$key = q/adding_builtins/;
$external_latex_labels{$key} = q|C|;
$noresave{$key} = "$nosave";

$key = q/arithmetic/;
$external_latex_labels{$key} = q|5.2|;
$noresave{$key} = "$nosave";

$key = q/buffers/;
$external_latex_labels{$key} = q|5.8|;
$noresave{$key} = "$nosave";

$key = q/builtins/;
$external_latex_labels{$key} = q|A|;
$noresave{$key} = "$nosave";

$key = q/clause/;
$external_latex_labels{$key} = q|3.3|;
$noresave{$key} = "$nosave";

$key = q/coding_for_efficiency/;
$external_latex_labels{$key} = q|B|;
$noresave{$key} = "$nosave";

$key = q/comparison_of_terms/;
$external_latex_labels{$key} = q|5.7|;
$noresave{$key} = "$nosave";

$key = q/compiler_options/;
$external_latex_labels{$key} = q|8.2|;
$noresave{$key} = "$nosave";

$key = q/complementary_tests/;
$external_latex_labels{$key} = q|B.1|;
$noresave{$key} = "$nosave";

$key = q/cuts_and_if-then-else/;
$external_latex_labels{$key} = q|4.2|;
$noresave{$key} = "$nosave";

$key = q/debugging/;
$external_latex_labels{$key} = q|6|;
$noresave{$key} = "$nosave";

$key = q/impure_code/;
$external_latex_labels{$key} = q|11|;
$noresave{$key} = "$nosave";

$key = q/indexing_directives/;
$external_latex_labels{$key} = q|8.4.2|;
$noresave{$key} = "$nosave";

$key = q/inlinepredicatetable/;
$external_latex_labels{$key} = q|2|;
$noresave{$key} = "$nosave";

$key = q/internal_database/;
$external_latex_labels{$key} = q|5.10|;
$noresave{$key} = "$nosave";

$key = q/list/;
$external_latex_labels{$key} = q|1|;
$noresave{$key} = "$nosave";

$key = q/macros/;
$external_latex_labels{$key} = q|10|;
$noresave{$key} = "$nosave";

$key = q/operator_priorities/;
$external_latex_labels{$key} = q|1|;
$noresave{$key} = "$nosave";

$key = q/operators/;
$external_latex_labels{$key} = q|3.2|;
$noresave{$key} = "$nosave";

$key = q/query/;
$external_latex_labels{$key} = q|3.5|;
$noresave{$key} = "$nosave";

$key = q/rule/;
$external_latex_labels{$key} = q|3.4|;
$noresave{$key} = "$nosave";

$key = q/search_path/;
$external_latex_labels{$key} = q|2.1|;
$noresave{$key} = "$nosave";

$key = q/simulator_options/;
$external_latex_labels{$key} = q|7.2|;
$noresave{$key} = "$nosave";

$key = q/statistics/;
$external_latex_labels{$key} = q|5.12|;
$noresave{$key} = "$nosave";

$key = q/structures/;
$external_latex_labels{$key} = q|2|;
$noresave{$key} = "$nosave";

$key = q/system_directories/;
$external_latex_labels{$key} = q|2.2|;
$noresave{$key} = "$nosave";

$key = q/terms/;
$external_latex_labels{$key} = q|3.1|;
$noresave{$key} = "$nosave";

$key = q/the_compiler/;
$external_latex_labels{$key} = q|8|;
$noresave{$key} = "$nosave";

$key = q/unixsystemcalls/;
$external_latex_labels{$key} = q|4|;
$noresave{$key} = "$nosave";

1;